@book{pierce,
  title={Types and Programming Languages},
  author={Pierce, B.C.},
  isbn={9780262162098},
  lccn={2001044428},
  year={2002},
  publisher={MIT Press}
}
